1.
Formal Methods for Open Object-Based Distributed Systems: 10th Ifip Wg 6.1 International Con...
by Barthe, Gilles, Barthe, Gil...
ISBN: 9783540688624
List Price: $99.00
2.
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia An...
by Boer, Frank S. de, Bonsangu...
ISBN: 9783642041662
List Price: $83.00
3.
Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhove...
by de Boer, Frank S., Bonsangu...
ISBN: 9783642170706
List Price: $83.00
4.
Formal Methods for Components and Objects: 6th International Symposium, Fmco 2007, Amsterdam...
by Boer, Frank S. de, Bonsangu...
ISBN: 9783540921875
List Price: $74.95
5.
Formal Methods for Components and Objects
by De Boer, Frank S.
ISBN: 9783540747918
List Price: $69.95
6.
Formal Methods for Components and Objects First International Symposium, FMCO 2002, Leiden, ...
by Boer, Frank S. de
ISBN: 9783540203032
List Price: $79.00
7.
Formal Methods for Components And Objects 4th International Symposium, Fmco 2005, Amsterdam,...
by De Boer, Frank S.
ISBN: 9783540367499
List Price: $79.95
8.
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
by Apt, Krzysztof R., Boer, Fr...
ISBN: 9781848827448
List Price: $89.95
9.
Formal Methods for Components And Objects Third International Symposium, Fmco 2004, Leiden, ...
by de Boer, Frank S., Bonsangu...
ISBN: 9783540291312
List Price: $64.95
10.
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertino...
by Giachino, Elena, Hhnle, Rei...
ISBN: 9783642406140
List Price: $69.99
11.
Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Au...
by Aichernig, Bernhard K., de ...
ISBN: 9783642252709
List Price: $89.95
12.
Theoretical Computer Science : 7th IFIP TC1/WG 2. 2 International Conference, TCS 2012, Amst...
by Baeten, Jos C. M., Ball, To...
ISBN: 9783642334740
List Price: $108.00
13.
Verification of Sequential and Concurrent Programs
by Apt, Krzysztof R., Boer, Fr...
ISBN: 9781848827455
OUT OF STOCK
See Availability on Amazon14.
Formal Methods for Components and Objects
by Boer, Frank S. de, Bonsangu...
ISBN: 9783662210291
List Price: $24.99
OUT OF STOCK
See Availability on Amazon15.
Formal Methods for Components and Objects
by De Boer, Frank S., Bonsangu...
ISBN: 9783642170720
List Price: $24.99
OUT OF STOCK
See Availability on Amazon16.
Verification of Sequential and Concurrent Programs
by Apt, Krzysztof R., De Boer,...
ISBN: 9781848827462
List Price: $24.99
OUT OF STOCK
See Availability on Amazon17.
Formal Methods for Components and Objects : 11th International Symposium, Fmco 2012, Bertino...
by Giachino, Elena, Hahnle, Re...
ISBN: 9783642406164
List Price: $24.99